JOURNAL OF GEOPHYSICAL RESEARCH, VOL. 109, C02003, doi:2003JC001868, 2004 Modeling the circulation of Western Bank on the Scotian Shelf through sequential application of a variational algorithm and a nonlinear m

Source URL: www.physics.mun.ca

Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul

Source URL: www.cs.technion.ac.il

• Transaction processing
• Memory management
• Linearizability
• Parallel computing
• Concurrent data structure
• Non-blocking algorithm
• Garbage collection
• Algorithm
• Sequential consistency
• Computing
• Concurrent computing
• Concurrency control

Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov

Source URL: www.cs.technion.ac.il

• Transaction processing
• Concurrency
• Computer memory
• Linearizability
• Concurrent computing
• Non-blocking algorithm
• Memory barrier
• Sequential consistency
• Parallel computing
• Computing
• Concurrency control
• Computer architecture

Sequential Model-Based Optimization for General Algorithm Configuration Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown University of British Columbia, 2366 Main Mall, Vancouver BC, V6T 1Z4, Canada {hutter,hoos,kevin

Source URL: www.cs.ubc.ca

• Cybernetics
• Mathematical optimization
• NP-complete problems
• Formal methods
• Algorithm
• Genetic algorithm
• Ant colony optimization algorithms
• Evolutionary algorithm
• Computational complexity theory
• Applied mathematics
• Mathematics
• Theoretical computer science

SEQUENTIAL MONTE CARLO RADIO-FREQUENCY TOMOGRAPHIC TRACKING Yunpeng Li† , Xi Chen?1 , Mark Coates? and Bo Yang† † Multimedia Technology Center, Beijing Univ. of Posts and Telecom., Beijing, China Dept. of Electrica

Source URL: www.tsp.ece.mcgill.ca

• Computational statistics
• Medical imaging
• Expectation–maximization algorithm
• Missing data
• Particle filter
• Iterative reconstruction
• Kalman filter
• Statistics
• Estimation theory
• Robot control

0 Large Linear Classification When Data Cannot Fit In Memory Hsiang-Fu Yu, Cho-Jui Hsieh, Kai-Wei Chang and Chih-Jen Lin, Department of Computer Science, National Taiwan University Recent advances in linear classificati

Source URL: www.csie.ntu.edu.tw

• Operations research
• Statistical classification
• Support vector machine
• Mathematical optimization
• Stochastic gradient descent
• Algorithm
• Gradient descent
• Sequential minimal optimization
• Ranking SVM
• Statistics
• Numerical analysis
• Mathematics

Automatic Configuration of Sequential Planning Portfolios Jendrik Seipp and Silvan Sievers and Malte Helmert Frank Hutter University of Basel

Source URL: ai.cs.unibas.ch

• Cedalion
• Pi
• Satisficing
• Algorithm
• Applied mathematics
• Theoretical computer science
• Mathematics
• Configuration

Kernel Methods Fast Algorithms and Real Life Applications A Thesis Submitted For the Degree of

Source URL: www.stat.purdue.edu

• Statistical classification
• Linear algebra
• Support vector machines
• Abstract algebra
• Kernel
• Algorithm
• String kernel
• Sequential minimal optimization
• Vector space
• Algebra
• Mathematics
• Statistics

Line-Up: A Complete and Automatic Linearizability Checker Sebastian Burckhardt Chris Dern Madanlal Musuvathi

Source URL: research.microsoft.com

• Data management
• Concurrent computing
• Linearizability
• Serializability
• Non-blocking algorithm
• Sequential consistency
• Consistency model
• Thread safety
• Monitor
• Concurrency control
• Computing
• Transaction processing

Industry sponsored project by CSIRO Project title Integrated approaches to normally-sequential enterprise-wide optimisation problems Project number: IMURA0067 Monash University supervisors: Professor Mohan Krishnamoorth

Source URL: www.iitbmonash.org

• Knowledge
• Academia
• Simulation
• Algorithm
• Operations research
• Mathematical optimization
• Science